2641. The practice of enterprise modeling :
Author: Paul Johannesson, John Krogstie, Andreas L. Opdahl (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business enterprises-- Data processing, Congresses.,Information modeling, Congresses.,Management information systems, Congresses.
Classification :
HF5548
.
2
.
I35
2011


2642. The science of computing : exploring the nature and power of algorithms
Author: Harel, David, 0591-
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic data processing,، Computer algorithms
Classification :
QA
76
.
H2833
1989


2643. The scientific process and the computer
Author: / (by) Donald N. Streeter
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic data processing -- Case studies
Classification :
QA
76
.
S838


2644. The secret life of programs :
Author: by Jonathan E. Steinhart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Browsers (Computer programs),Computer programming.,Programming languages (Electronic computers),Browsers (Computer programs),Computer programming.,COMPUTERS-- Computer Science.,Programming languages (Electronic computers)
Classification :
QA76
.
6
.
S735
2019


2645. The service-oriented media enterpris
Author: / John Footen, Joey Faust
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mass media--Economic aspects,Mass media and technology.,Service-oriented architecture (Computer science),Business--Data processing--Management,Workflow--Management,Web services.
Classification :
P
,
96
,.
E25
,
F665
,
2008


2646. The seventeen provers of the world
Author: / foreword by Dana S. Scott
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Proof theory--Data processing,Algebra--Computer programs
Classification :
QA
,
155
.
7
,.
E4
,
S48
,
2006


2647. The seventeen provers of the world
Author: : Freek Wiedijk (ed.); foreword by Dana S. Scott.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Algebra, -- Computer programs,a05,Proof theory Data processing.
Classification :
QA155
.
7
.
E4
S48
2006


2648. The tao of computing /
Author: Henry M. Walker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Internet.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.,Internet.
Classification :
QA76
.
W1855
2005b


2649. Theoretical Aspects of Computing - ICTAC 2008
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Algebra -- Data processing,Computer science,Computer software,جبر -- دادهپردازی,علوم کامپیوتر,نرمافزار
Classification :
E-Book
,

2650. Theoretical Foundations of computer science
Author: / Dino Mandrioli [and] Carlo Ghezzi
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic data processing--Mathematics
Classification :
QA
39
.
2
.
M336
1987


2651. Theoretical aspects of computer science
Author: / Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Amin Shokrollahi (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing.
Classification :
QA
,
76
,.
T426
,
2002


2652. Theoretical aspects of computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Electronic data processing ;

2653. Theoretical aspects of computer science : advanced lectures
Author: Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Amin Shokrollahi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Electronic data processing
Classification :
QA
76
.
L28
Vol
.
2292


2654. Theoretical aspects of computing
Author: / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Congresses,Information theory--Congresses
Classification :
QA
,
75
.
5
,.
I135
,
2007


2655. Theoretical aspects of computing
Author: / Zhiming Liu, Keijiro Araki (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic data processing, -- Congresses,a04,Information theory--Congresses.
Classification :
QA75
.
5
.
I135
2004


2656. Theoretical aspects of computing -- ICTAC 200
Author: / John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Congresses,Information theory--Congresses

2657. Theoretical aspects of computing : ICTAC 2004 : first International Colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
Author: Zhiming Liu, Keijiro Araki )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing,Congresses ، Information theory
Classification :
QA
76
.
L28
Vol
.
3407


2658. Theoretical aspects of computing -- ICTAC 2005 : second International Colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings
Author: Dang Van Hung, Martin Wirsing )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing,Congresses ، Information theory
Classification :
QA
76
.
L28
Vol
.
3722


2659. Theoretical aspects of distributed computing in sensor network
Author: / Sotiris Nikoletseas, Josae D.P. Rolim, editors
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Sensor networks, Data processing,Multisensor data fusion,Mobile computing
Classification :
E-BOOK

2660. Theoretical aspects of distributed computing in sensor network
Author: / Sotiris Nikoletseas, Josae D.P. Rolim, editors
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Sensor networks, Data processing,Multisensor data fusion,Mobile computing
Classification :
TK7872
.
D48T44
2011

